MFPSMultimodal Separation Logic for Reasoning About Operational Semantics Robert Dockins

Source URL: www.cs.princeton.edu

• Logic
• Mathematical logic
• Philosophy
• Modal logic
• Non-classical logic
• Philosophical logic
• Model theory
• Logic in computer science
• Intuitionistic logic
• Kripke semantics
• Multimodal logic
• Accessibility relation

Handcrafted Inversions Made Operational on Operational Semantics Jean-Fran¸cois Monin1,2 and Xiaomu Shi1 1 Universit´e de Grenoble 1 - VERIMAG

Source URL: www-verimag.imag.fr

Trace-Based Coinductive Operational Semantics for While Big-Step and Small-Step, Relational and Functional Styles Keiko Nakata and Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee

Source URL: cs.ioc.ee

A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog? T. Str¨ oder1 , F. Emmes1 , P. Schneider-Kamp2 , J. Giesl1 , and C. Fuhs1 1

Source URL: verify.rwth-aachen.de

Rule formats for bounded nondeterminism in structural operational semantics? ´ Luca Aceto, Alvaro Garc´ıa-P´erez, and Anna Ing´olfsd´ottir ICE-TCS, School of Computer Science, Reykjav´ık University,

Source URL: www.icetcs.ru.is

Outline Handcrafted Small Inversions Made Operational on Operational Semantics 1

Source URL: www-verimag.imag.fr

Compositional Verification of a Baby Virtual Memory Manager Alexander Vaynberg and Zhong Shao Yale University Abstract. A virtual memory manager (VMM) is a part of an operating system

Source URL: flint.cs.yale.edu

• Formal methods
• Logic in computer science
• Models of computation
• Programming language semantics
• Abstraction
• Kernel
• Abstract state machines
• Semantics
• Denotational semantics
• Operational semantics
• Refinement
• Limit

Axiomatizations from Structural Operational Semantics: Theory and Tools Eugen Ioan Goriac Doctor of Philosophy August 2013 School of Computer Science

Source URL: goriac.info

Aachen Department of Computer Science Technical Report A Linear Operational Semantics for Termination and Complexity Analysis

Source URL: verify.rwth-aachen.de